Proof theory - PDFSEARCH.IO - Document Search Engine

Proof theory
Results: 1637

#	Item
401	Add to Reading List Source URL: www.aocinternational.org Language: English - Date: 2013-10-23 07:43:10 Mathematics Set theory Proof theory Large countable ordinal Mathematical logic Ordinal numbers Pagination
402	Some remarks about the solutions of x2 − Dy 2 = ±N . Keith Matthews Proposition (a) Let U + V √ Add to Reading List Source URL: www.numbertheory.org Language: English - Date: 2012-10-23 02:59:34 Mathematical analysis Differentiation rules Logic Mathematical identities Mathematics Mathematical fallacy Proof theory
403	Add to Reading List Source URL: www.aocinternational.org Language: English - Date: 2013-10-23 07:43:10 Mathematics Set theory Proof theory Large countable ordinal Mathematical logic Ordinal numbers Pagination
404	DRA FRONT END FILTER PROJECT Proof of Security (I) Lemma 1 Project: Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2009-12-05 09:38:12 Standard ML Computer programming Programming language theory
405	Many Roads from the Axiom of Completeness* Andrew Nightingale Abstract “We all grow up believing in the existence of real numbers . . .” (Abbot, 2001, pThe “property that distinguishes” the real numbers i Add to Reading List Source URL: tigger.uic.edu Language: English - Date: 2014-05-26 17:34:36 Philosophy of mathematics Mathematical logic Mathematical induction Proof theory Number system Real number Axiom Charles Sanders Peirce Infinity Mathematics Logic Elementary mathematics
406	Auto in Agda joint work with Pepijn Kokke ! Nijmegen Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2015-04-30 03:24:18 Knowledge Functional languages Deduction Agda Mathematical proof Soundness Per Martin-Löf Constructivism Denotational semantics Logic Proof theory Mathematics
407	Full reduction in the face of absurdity Gabriel Scherer, Didier R´emy Gallium – INRIA October 28, 2014 Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2014-10-28 06:28:38 Mathematical logic Computability theory Lambda calculus Proof theory Orbifold Natural deduction Theoretical computer science Models of computation Applied mathematics
408	Presburger Award 2012 The Presburger Award Committee 2012, consisting of Monika Henzinger, Antonin Kucera, and Stefano Leonardi (chair) has unanimously decided to propose *********************************************** Add to Reading List Source URL: www.eatcs.org Language: English - Date: 2014-01-29 10:45:05** Applied mathematics Mathematics Computational complexity theory List decoding Venkatesan Guruswami Probabilistic complexity theory Presburger Award Reed–Solomon error correction Probabilistically checkable proof Error detection and correction Theoretical computer science Coding theory
409	Planar Graphs Tanya Khovanova April 22, 2013 Class Discussion Conway’s nose trick. Review of Euler walks. Planar graphs. A proof that K5 is not planar. Add to Reading List Source URL: www.tanyakhovanova.com Language: English - Date: 2013-12-12 14:14:01 Graph operations Graph theory Planar graphs Graph
410	DRA FRONT END FILTER PROJECT Proof Strategy Lemma 1 Project: Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2009-12-05 09:38:11 Computing Programming language theory ALGOL 68 Software engineering

UPDATE